/*
 * Parallelizer.cuh
 *
 *  Created on: Aug 5, 2013
 *      Author: jaime
 */

#ifndef PARALLELIZER_CUH_
#define PARALLELIZER_CUH_

#include "../Utils/CUDAClauseVec.cuh"
#include "SATSolver.cuh"
#include "SolverTypes.cuh"
#include "JobsQueue.cuh"
#include "Configs.cuh"
#include "../Utils/GPUStaticVec.cuh"
#include "../Statistics/RuntimeStatistics.cuh"
#include "Results.cuh"
#include "DataToDevice.cuh"


__global__ void run_parallel(DataToDevice data);
__global__ void run_sequential(DataToDevice data);



#endif /* PARALLELIZER_CUH_ */
